defined names - Allemand Anglais Dictionnaire